package ss.pku.jsa.worklist.algorithm;

import java.util.List;
import java.util.Set;

import ss.pku.jsa.worklist.WorkListTemplate;
import ss.pku.jsa.worklist.om.Constraint;
import ss.pku.jsa.worklist.om.Value;

public class ReversePostorderWorkList<M, K> extends WorkListTemplate<M, K> {
	
	List<Constraint<M, K>> currentList;
	List<Constraint<M, K>> pendingList;

	public ReversePostorderWorkList(Constraint<M, K>[] constraints) {
		super(constraints);
		
	}

	@Override
	public Set<Value<M, K>> eval(Constraint<M, K> constraint) {
		// TODO Auto-generated method stub
		return null;
	}

	@Override
	public void insert(Constraint<M, K> constraint) {
		// TODO Auto-generated method stub
		
	}

	@Override
	public Constraint<M, K> extract() {
		// TODO Auto-generated method stub
		return null;
	}
	
}
